21. Algebraic methodology and software technology
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Abstract data types (Computer science) ; Congresses. ; Abstract data types (Computer science) ; fast ; (OCoLC)fst00794745. ; Software engineering. ; fast ; (OCoLC)fst01124185. ; Algebraische Methode. ; swd. ; Softwaree
22. Algebraic methodology and software technology :
پدیدآورنده : Michael Johnson, Dusko Pavlovic (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Abstract data types (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
I58
2011
23. Algebraic methodology and software technology : 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings
پدیدآورنده : Armando Martin Haeberer )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1548
24. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
پدیدآورنده : Martin Wirsing, Maurice Nivat )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1101
25. Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
پدیدآورنده : Charles Rattray, Savitri Maharaj, Carron Shankland )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3116
26. Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
پدیدآورنده : Teodor Rus )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1816
27. Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
پدیدآورنده : Helene Kirchner, Christophe Ringeissen )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2422
28. Algorithms and data structures :
پدیدآورنده : Selim G. Akl [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Data structures (Computer science) -- Congresses.
29. Applied Informatics and Communication
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Computer networks -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,شبکه‌های کامپیوتری -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
30. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
31. Cellular automata and discrete complex systems :
پدیدآورنده : Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
رده :
QA267
.
5
.
C45
32. Central European Functional Programming School
پدیدآورنده : \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرم‌افزار -- مهندسی
رده :
QA
76
.
62
.
C4
2015
E-Book
,
33. Certified Programs and Proofs :
پدیدآورنده : edited by Chris Hawblitzel, Dale Miller.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
34. Coalgebraic methods in computer science
پدیدآورنده : Dirk Pattinson, Lutz Schröder (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
W67
2012eb
35. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
36. Computational Science and Its Applications – ICCSA 2015
پدیدآورنده : \ [edited by] Osvaldo Gervasi...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer software -- Congresses.,Computer networks -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نرم افزار کامپیوتر -- کنگره ها,شبکه‌های کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
C6
2015
E-Book
,
37. Computational science and its applications -- ICCSA 2014 :
پدیدآورنده : Beniamino Murgante...[and 8 more] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses,Computer science, Congresses,Computer software, Congresses,Software engineering, Congresses
رده :
QA75
.
5
38. Computational science and its applications -- ICCSA 2019 :
پدیدآورنده : Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer networks.,Computer science.,Computer software.,Software engineering.
رده :
QA75
.
5
.
I22
2019eb
39. Coordination, Organizations, Institutions, and Norms in Agent Systems X
پدیدآورنده : \ editor by Aditya Ghose, Nir Oren, Pankaj Telang, John Thangarajah
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Intelligent agents (Computer software) -- Congresses.,Artificial intelligence -- Congresses.,Computer science.,عوامل هوشمند (نرم‌افزار کامپیوتر) -- کنگره ها,هوش مصنوعی -- کنگره‌ها ,علوم کامپیوتر
رده :
QA76
.
76
.
I58C6
E-Book
,
40. Database and expert systems applications
پدیدآورنده : Abdelkader Hameurlain, A Min Tjoa (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software, Congresses.,Database management, Congresses.,Expert systems (Computer science), Congresses.,Object-oriented databases, Congresses.
